Koha online catalog › Results of search for 'Provider:Springer, and su-to:Artificial intelligence'

	1.	Automated theorem proving : theory and practice by Newborn, Monty. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2). Place hold
	2.	Deep blue : an artificial intelligence milestone by Newborn, Monty. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 794.172 NEW] (1). Place hold

Koha online